00100	OCOMPEXP(EXP,M,VPR) ←
00150		IF CAR EXP EQ 'COND THEN OCOMCOND(CDR EXP,M,VPR)
00200		ELSE IF CAR EXP EQ 'NULL OR CAR EXP EQ 'EQ
00300			OR CAR EXP EQ 'NOT OR CAR EXP EQ 'OR
00400			OR CAR EXP EQ 'AND   THEN
00500				APPEND(COMPEXP(EXP,M,VPR),
00600					SUBSTACK LENGTH EXP,
00700					'((POPJ P) NIL))
00800		ELSE APPEND(
00900			COMPLISA(CDR EXP,M,VPR),
01000			SUBSTACK LENGTH CDR EXP,
01100			LIST LIST('JCALL ,LENGTH CDR EXP,
01200				LIST('E ,CAR EXP)));
01300	
01400	OCOMCOND(EXP,M,VPR) ←
01500		IF NULL CDR U THEN
01600			(IF CAAR U EQ T THEN OCOMPEXP(CADAR U,M,VPR) 
01700			ELSE